Logic optimization - PDFSEARCH.IO - Document Search Engine

Logic optimization
Results: 335

#	Item
311	Optimizing Tableau Reasoning in ALC Extended with Uncertainty Add to Reading List Source URL: www.ceur-ws.org Language: English - Date: 2007-05-22 01:39:22 Mind Reasoning Thought Abox Tbox Mathematical optimization Epistemology Description logic Reason Science Ontology Knowledge
312	A method to improve Standard PSO Technical report. DRAFT MC2009-03-13 Add to Reading List Source URL: clerc.maurice.free.fr Language: English - Date: 2009-07-08 03:29:16 Algorithm Mathematical logic Theoretical computer science Mathematical optimization Evolutionary algorithms Operations research Applied mathematics Mathematics
313	Microsoft Word - 02-Prince-1up-edited.doc Add to Reading List Source URL: ruccs.rutgers.edu Language: English - Date: 2010-12-15 09:29:23 Optimality theory Mathematical optimization Language Science Paul Smolensky Constraint Constraint satisfaction Constraint logic programming Constraint programming Phonology Linguistics
314	Entailed Ranking Arguments Alan Prince Department of Linguistics and Add to Reading List Source URL: roa.rutgers.edu Language: English - Date: 2002-02-28 12:56:21 Linguistics Optimality theory Phonology Entailment Mathematical optimization Constraint algorithm Constraint logic programming Logic Constraint programming Science
315	A novel approach to finding feasible solutions to personnel rostering problems Gareth Beddoe and Sanja Petrovic Add to Reading List Source URL: pomsmeetings.org Language: English - Date: 2008-12-23 09:33:56 Computer programming Constraint satisfaction problem Constraint satisfaction Constraint logic programming Tabu search Genetic algorithm Mathematical optimization Hybrid algorithm Memetic algorithm Constraint programming Artificial intelligence Software engineering
316	Building Better Nurse Scheduling Algorithms Add to Reading List Source URL: arxiv.org Language: English - Date: 2008-03-20 07:15:37 Operations research Mathematical optimization Computational complexity theory Algorithm Mathematical logic Genetic algorithm Linear programming Time complexity Local search Theoretical computer science Applied mathematics Mathematics
317	Economics 204 Summer/Fall 2011 Lecture 7–Tuesday August 2, 2011 Section 2.9. Connected Sets Add to Reading List Source URL: elsa.berkeley.edu Language: English - Date: 2011-08-02 16:06:18 Mathematical optimization Hemicontinuity Continuous function Function Semi-continuity Limit Entailment Linear temporal logic Spectral theory of ordinary differential equations Mathematics Mathematical analysis Logic
318	Optimization Schemas for Parallel Implementation of Nondeterministic Languages and Systems Gopal Gupta & Enrico Pontelli Add to Reading List Source URL: ipdps.cc.gatech.edu Language: English - Date: 2003-02-26 11:32:35 Parallel computing Programming paradigms Compiler optimizations Prolog Logic programming Data parallelism Automatic parallelization Algorithm Task parallelism Computing Software engineering Computer programming
319	8th International Conference of Modeling and Simulation - MOSIM’10 - May 10-12, [removed]Hammamet - Tunisia ”Evaluation and optimization of innovative production systems of goods and services” Add to Reading List Source URL: www.enim.fr Language: English - Date: 2010-06-22 04:02:24 Possibility theory Fuzzy control system Fuzzy logic Logic .bf
320	The Fuzzy Ant Valeri Rozin and Michael Margaliot∗ Add to Reading List Source URL: www.eng.tau.ac.il Language: English - Date: 2007-03-01 08:12:14 Fuzzy logic Artificial intelligence Logic in computer science Non-classical logic Ant Mathematical model Fuzzy set Artificial neural network Ant colony optimization algorithms Logic Mathematics Mathematical logic

UPDATE